((v1 v2 2) (v2 v3 5) (v3 v4 6) (v4 v5 3) (v5 v6 3) (v6 v7 1) (v7 v8 5) (v8 v9 1) (v9 v10 8) (v10 v11 2) (v11 v12 3) (v12 v1 3))
80
()